Computation tree logic

Results: 41



#Item
31Logic / Logic in computer science / Linear temporal logic / Model checkers / Model checking / Computation tree logic / Stable model semantics / Modal logic / SPIN model checker / Temporal logic / Theoretical computer science / Mathematical logic

i i “p02c00˙bmc” — [removed] — 10:13 — page 457 — #3 i

Add to Reading List

Source URL: gauss.ececs.uc.edu

Language: English - Date: 2011-07-05 08:44:48
32Tree / Petri net / Battery / Mathematics / Science / Logic / Models of computation / Rechargeable battery / Energy

Battery Transition Systems ∗ Udi Boker

Add to Reading List

Source URL: www.faculty.idc.ac.il

Language: English - Date: 2014-01-22 03:50:39
33Computation tree logic / Linear temporal logic / Logic / Science / Mathematical logic / CTL* / Temporal logic / Logic in computer science / Mathematics

Temporal logic in system analysis (4) CTL logic

Add to Reading List

Source URL: staff.iiar.pwr.wroc.pl

Language: English - Date: 2013-04-14 12:56:28
34Mathematics / CTL* / Applied mathematics / Sheaf / Logic / Linear temporal logic / Temporal logic / Logic in computer science / Computation tree logic

Temporal Logics • CTL: definition, relationship between operators, adequate sets, specifying

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2007-09-26 19:39:59
35Mathematics / Logic in computer science / Modal logic / Linear temporal logic / Philosophical logic / CTL* / Computation tree logic / Kripke semantics / Kripke structure / Logic / Temporal logic / Mathematical logic

Model Checking II Temporal Logic Model Checking

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2009-09-27 18:25:33
36Mathematics / Logic in computer science / Data mining / Formal concept analysis / Lattice theory / Ontology / Modal logic / Computation tree logic / Description logic / Logic / Science / Non-classical logic

Attribute Exploration of Gene Regulatory Processes Dissertation

Add to Reading List

Source URL: www.db-thueringen.de

Language: English
37Theory of computation / Binary-coded decimal / Adder / Floating point / Decimal floating point / Arithmetic logic unit / Wallace tree / Carry / Hexadecimal / Computer arithmetic / Arithmetic / Computer architecture

PDF Document

Add to Reading List

Source URL: homepage.usask.ca

Language: English - Date: 2011-01-30 22:53:12
38Set theory / Formal languages / Ω-automaton / Models of computation / Combinatorics on words / Büchi automaton / Sequence / Tree / Infinity / Mathematics / Mathematical logic / Automata theory

PDF Document

Add to Reading List

Source URL: www.tcs.tifr.res.in

Language: English - Date: 2006-02-23 13:10:09
39Temporal logic / Logic in computer science / Formal methods / Formal sciences / Model checking / Linear temporal logic / Computation tree logic / Formal verification / CTL* / Mathematical logic / Logic / Theoretical computer science

PDF Document

Add to Reading List

Source URL: www.model.in.tum.de

Language: English - Date: 2008-03-27 10:41:08
40Mathematics / Linear temporal logic / Model checking / Kripke semantics / LTL / Model theory / CTL* / Computation tree logic / Logic / Mathematical logic / Temporal logic

PDF Document

Add to Reading List

Source URL: www.inf.unibz.it

Language: English - Date: 2011-03-13 07:54:14
UPDATE